1. Can mathematics be proved consistent? :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem ;
2. Creating modern probability :
پدیدآورنده : Jan von Plato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Probabilities-- History.
رده :
QA273
.
V66
1994eb
3. Creating modern probability :
پدیدآورنده : Jan von Plato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Probabilities-- History.
رده :
QA273
.
V66
1994eb
4. Creating modern probability : its mathematics, physics, and philosophy in historical perspective
پدیدآورنده : Von Plato, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : History ، Probabilities
رده :
QA
273
.
V66C7
5. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
8. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory
رده :
E-BOOK
9. Saved from the Cellar
پدیدآورنده : \ Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع :
رده :
E-Book
,
10. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
11. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
12. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N4S78
13. Structural proof theory
پدیدآورنده : Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N4S8
14. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
15. The development of modern logic
پدیدآورنده : edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History ، Logic
رده :
BC15
.
D48
2009
